title: Tighter risk certificates for neural networks

abstract: This paper presents an empirical study regarding training probabilistic neural networks using training objectives derived from PAC-Bayes bounds. In the context of probabilistic neural networks, the output of training is a probability distribution over network weights. We present two training objectives, used here for the first time in connection with training neural networks. These two training objectives are derived from tight PAC-Bayes bounds. We also re-implement a previously used training objective based on a classical PAC-Bayes bound, to compare the properties of the predictors learned using the different training objectives. We compute risk certificates for the learnt predictors, based on part of the data used to learn the predictors. We further experiment with different types of priors on the weights (both data-free and data-dependent priors) and neural network architectures. Our experiments on MNIST and CIFAR-10 show that our training methods produce competitive test set errors and non-vacuous risk bounds with much tighter values than previous results in the literature, showing promise not only to guide the learning algorithm through bounding the risk but also for model selection. These observations suggest that the methods studied here might be good candidates for self-certified learning, in the sense of using the whole data set for learning a predictor and certifying its risk on any unseen data (from the same distribution as the training data) potentially without the need for holding out test data.


title: A Drone-Aided Blockchain-Based Smart Vehicular Network

abstract: The staggering growth of the number of vehicles worldwide has become a critical challenge resulting in tragic incidents, environment pollution, congestion, etc. Therefore, one of the promising approaches is to design a smart vehicular system as it is beneficial to drive safely. Present vehicular system lacks data reliability, security, and easy deployment. Motivated by these issues, this paper addresses a drone-enabled intelligent vehicular system, which is secure, easy to deploy and reliable in quality. Nevertheless, an increase in the number of operating drones in the communication networks makes them more vulnerable towards the cyber-attacks, which can completely sabotage the communication infrastructure. To tackle these problems, we propose a blockchain-based registration and authentication system for the entities such as drones, smart vehicles (SVs) and roadside units (RSUs). This paper is mainly focused on the blockchain-based secure system design and the optimal placement of drones to improve the spectral efficiency of the overall network. In particular, we investigate the association of RSUs with the drones by considering multiple communication-related factors such as available bandwidth, maximum number of links a drone can support, and backhaul limitations. We show that the proposed model can easily be overlaid on the current vehicular network reaping benefits of secure and reliable communications.


title: NoPropaganda at SemEval-2020 Task 11: A Borrowed Approach to Sequence Tagging and Text Classification

abstract: This paper describes our contribution to SemEval-2020 Task 11: Detection Of Propaganda Techniques In News Articles. We start with simple LSTM baselines and move to an autoregressive transformer decoder to predict long continuous propaganda spans for the first subtask. We also adopt an approach from relation extraction by enveloping spans mentioned above with special tokens for the second subtask of propaganda technique classification. Our models report an F-score of 44.6% and a micro-averaged F-score of 58.2% for those tasks accordingly.


title: Melting and crystallization of Sn, Bi and Pb nanoparticles in contact with Al

abstract: The results of studies of supercooling upon crystallization value of Bi, Sn and Pb nanosized particles on the Al substrate and between the Al layers have been presented. It has been shown the efficiency of usage of layered film systems for investigation of the limiting supercooling in particle-matrix systems with an eutectic type of interaction between components. The obtained results have been discussed and compared with literature data. ----- Predstavleny rezultaty issledovanij pereohlazhdenij pri kristallizacii nanorazmernyh chastic Bi, Sn i Pb na Al podlozhke i mezhdu sloyami alyuminiya. Pokazana effektivnost ispolzovaniya sloistyh plenochnyh sistem dlya issledovaniya predelnogo pereohlazhdeniya v sistemah chastica-matrica s evtekticheskim tipom vzaimodejstviya mezhdu komponentami. Poluchennye rezultaty obsuzhdeny i sopostavleny s literaturnymi dannymi.


title: The Milky Way bar and bulge revealed by APOGEE DR16 and Gaia EDR3

abstract: We investigate the inner regions of the Milky Way with a sample of unprecedented size and coverage thanks to APOGEE DR16 and Gaia EDR3 data. Our inner Galactic sample has more than 26,000 stars within $|X_{\rm Gal}| <5$ kpc, $|Y_{\rm Gal}| <3.5$ kpc, $|Z_{\rm Gal}| <1$ kpc, and we also make the analysis for a foreground-cleaned sub-sample of 8,000 stars more representative of the bulge-bar populations. The inner Galaxy shows a clear chemical discontinuity in key abundance ratios [$\alpha$/Fe], [C/N], and [Mn/O], probing different enrichment timescales, which suggests a star formation gap (quenching) between the high- and low-$\alpha$ populations. For the first time, we are able to fully characterize the different populations co-existing in the innermost regions of the Galaxy via joint analysis of the distributions of rotational velocities, metallicities, orbital parameters and chemical abundances. The chemo-kinematic analysis reveals the presence of the bar; of an inner thin disk; of a thick disk, and of a broad metallicity population, with a large velocity dispersion, indicative of a pressure supported component. We find and characterize chemically and kinematically a group of counter-rotating stars, which could be the result of a gas-rich merger event or just the result of clumpy star formation during the earliest phases of the early disk, which migrated into the bulge. Finally, based on the 6D information we assign stars a probability value of being on a bar orbit and find that most of the stars with large bar orbit probabilities come from the innermost 3 kpcs. Even stars with a high probability of belonging to the bar show the chemical bimodality in the [$\alpha$/Fe] vs. [Fe/H] diagram. This suggests bar trapping to be an efficient mechanism, explaining why stars on bar orbits do not show a significant distinct chemical abundance ratio signature.


title: Bollyrics: Automatic Lyrics Generator for Romanised Hindi

abstract: Song lyrics convey a meaningful story in a creative manner with complex rhythmic patterns. Researchers have been successful in generating and analyisng lyrics for poetry and songs in English and Chinese. But there are no works which explore the Hindi language datasets. Given the popularity of Hindi songs across the world and the ambiguous nature of romanized Hindi script, we propose Bollyrics, an automatic lyric generator for romanized Hindi songs. We propose simple techniques to capture rhyming patterns before and during the model training process in Hindi language. The dataset and codes are available publicly at https://github.com/lingo-iitgn/Bollyrics.


title: Flexible and efficient discretizations of multilayer models with variable density

abstract: We show that the semi-implicit time discretization approaches previously introduced for multilayer shallow water models for the barotropic case can be also applied to the variable density case with Boussinesq approximation. Furthermore, also for the variable density equations, a variable number of layers can be used, so as to achieve greater flexibility and efficiency of the resulting multilayer approach. An analysis of the linearized system, which allows to derive linear stability parameters in simple configurations, and the resulting spatially semi-discretized equations are presented. A number of numerical experiments demonstrate the effectiveness of the proposed approach.


title: Crowdsourced 3D Mapping: A Combined Multi-View Geometry and Self-Supervised Learning Approach

abstract: The ability to efficiently utilize crowdsourced visual data carries immense potential for the domains of large scale dynamic mapping and autonomous driving. However, state-of-the-art methods for crowdsourced 3D mapping assume prior knowledge of camera intrinsics. In this work, we propose a framework that estimates the 3D positions of semantically meaningful landmarks such as traffic signs without assuming known camera intrinsics, using only monocular color camera and GPS. We utilize multi-view geometry as well as deep learning based self-calibration, depth, and ego-motion estimation for traffic sign positioning, and show that combining their strengths is important for increasing the map coverage. To facilitate research on this task, we construct and make available a KITTI based 3D traffic sign ground truth positioning dataset. Using our proposed framework, we achieve an average single-journey relative and absolute positioning accuracy of 39cm and 1.26m respectively, on this dataset.


title: Interpretabilit\'e des mod\`eles : \'etat des lieux des m\'ethodes et application \`a l'assurance

abstract: Since May 2018, the General Data Protection Regulation (GDPR) has introduced new obligations to industries. By setting a legal framework, it notably imposes strong transparency on the use of personal data. Thus, people must be informed of the use of their data and must consent the usage of it. Data is the raw material of many models which today make it possible to increase the quality and performance of digital services. Transparency on the use of data also requires a good understanding of its use through different models. The use of models, even if efficient, must be accompanied by an understanding at all levels of the process that transform data (upstream and downstream of a model), thus making it possible to define the relationships between the individual's data and the choice that an algorithm could make based on the analysis of the latter. (For example, the recommendation of one product or one promotional offer or an insurance rate representative of the risk.) Models users must ensure that models do not discriminate against and that it is also possible to explain its result. The widening of the panel of predictive algorithms - made possible by the evolution of computing capacities -- leads scientists to be vigilant about the use of models and to consider new tools to better understand the decisions deduced from them . Recently, the community has been particularly active on model transparency with a marked intensification of publications over the past three years. The increasingly frequent use of more complex algorithms (\textit{deep learning}, Xgboost, etc.) presenting attractive performances is undoubtedly one of the causes of this interest. This article thus presents an inventory of methods of interpreting models and their uses in an insurance context.


title: Purcell enhanced and indistinguishable single-photon generation from quantum dots coupled to on-chip integrated ring resonators

abstract: Integrated photonic circuits provide a versatile toolbox of functionalities for advanced quantum optics applications. Here, we demonstrate an essential component of such a system in the form of a Purcell enhanced single-photon source based on a quantum dot coupled to a robust on-chip integrated resonator. For that, we develop GaAs monolithic ring cavities based on distributed Bragg reflector ridge waveguides. Under resonant excitation conditions, we observe an over twofold spontaneous emission rate enhancement using Purcell effect and gain a full coherent optical control of a QD-two-level system via Rabi oscillations. Furthermore, we demonstrate an on-demand single-photon generation with strongly suppressed multi-photon emission probability as low as 1% and two-photon interference with visibility up to 95%. This integrated single-photon source can be readily scaled up, promising a realistic pathway for scalable on-chip linear optical quantum simulation, quantum computation and quantum networks.


title: Uncovering magnetic turbulence in young supernova remnants with polarized X-ray imaging

abstract: Observations of young supernova remnants (SNRs) in X-rays and gamma-rays have provided conclusive evidence for particle acceleration to at least TeV energies. Analysis of high spatial resolution X-ray maps of young SNRs has indicated that the particle acceleration process is accompanied by strong non-adiabatic amplification of magnetic fields. If Fermi acceleration is the mechanism producing the energetic cosmic rays (CRs), the amplified magnetic field must be turbulent and CR-driven instabilities are among the most probable mechanisms for converting the shock ram pressure into the magnetic turbulence. The development and evolution of strong magnetic turbulence in the collisionless plasmas forming SNR shells are complicated phenomena which include the amplification of magnetic modes, anisotropic mode transformations at shocks, as well as the nonlinear physics of turbulent cascades. Polarized X-ray synchrotron radiation from ultra-relativistic electrons accelerated in the SNR shock is produced in a thin layer immediately behind the shock and is not subject to the Faraday depolarization effect. These factors open possibilities to study some properties of magnetic turbulence and here we present polarized X-ray synchrotron maps of SNR shells assuming different models of magnetic turbulence cascades. It is shown that different models of the anisotropic turbulence can be distinguished by measuring the predominant polarization angle direction. We discuss the detection of these features in Tycho's SNR with the coming generation of X-ray polarimeters such as the Imaging X-ray Polarimetry Explorer (IXPE).


title: Improved Inference for Heterogeneous Treatment Effects Using Real-World Data Subject to Hidden Confounding

abstract: The heterogeneity of treatment effect lies at the heart of precision medicine. Randomized controlled trials are gold-standard for treatment effect estimation but are typically underpowered for heterogeneous effects. While large observational studies have high predictive power but are often confounded due to lack of randomization of treatment. We show that the observational study, even subject to hidden confounding, may empower trials in estimating the heterogeneity of treatment effect using the notion of confounding function. The confounding function summarizes the impact of unmeasured confounders on the difference in the potential outcomes between the treated and untreated groups accounting for the observed covariates, which is unidentifiable based only on the observational study. Coupling the randomized trial and observational study, we show that the heterogeneity of treatment effect and confounding function are nonparametrically identifiable. We then derive the semiparametric efficient scores and the rate-doubly robust integrative estimators of the heterogeneity of treatment effect and confounding function under parametric structural models. We clarify the conditions under which the integrative estimator of the heterogeneity of treatment effect is strictly more efficient than the trial estimator. We illustrate the integrative estimators via simulation and an application.


title: Multi-theorem (Malicious) Designated-Verifier NIZK for QMA

abstract: We present the first non-interactive zero-knowledge argument system for QMA with multi-theorem security. Our protocol setup constitutes an additional improvement and is constructed in the malicious designated-verifier (MDV-NIZK) model (Quach, Rothblum, and Wichs, EUROCRYPT 2019), where the setup consists of a trusted part that includes only a common uniformly random string and an untrusted part of classical public and secret verification keys, which even if sampled maliciously by the verifier, the zero knowledge property still holds. The security of our protocol is established under the Learning with Errors Assumption. Our main technical contribution is showing a general transformation that compiles any sigma protocol into a reusable MDV-NIZK protocol, using NIZK for NP. Our technique is classical but works for quantum protocols and allows the construction of a reusable MDV-NIZK for QMA.


title: The robustness of the generalized Gini index

abstract: In this paper we introduce a map $\Phi$, which we call \textit{zonoid map}, from the space of all non-negative, finite Borel measures on $\mathbb{R}^n$ with finite first moment to the space of zonoids of $\mathbb{R}^n$. This map, connecting Borel measure theory with zonoids theory, allows us to slightly generalize the Gini volume introduced, in the contest of Industrial Economics, by Dosi, Grazzi, Marengo and second author in 2016. This volume, based on the geometric notion of zonoid, is introduced as a measure of heterogeneity among firms in an industry and turned out to be quite interesting index as it is a multi-dimensional generalization of the well known and broadly used Gini index. By exploiting the mathematical contest offered by our definition, we prove the continuity of the map $\Phi$ which, in turns, allows to prove the validity of a Glivenko-Cantelli theorem for our generalized Gini index and, hence, for the Gini volume. Both results, continuity of $\Phi$ and Glivenko-Cantelli theorem, are particularly useful when dealing with a huge amount of multi-dimensional data.


title: Volumes of Line Bundles on Schemes

abstract: Volumes of line bundles are known to exist as limits on generically reduced projective schemes. However, it is not known if they always exist as limits on more general projective schemes. We show that they do always exist as a limit on a codimension one subscheme of a nonsingular projective variety.


title: Flow states and transitions in flow past arrays of tandem cylinders

abstract: Direct numerical simulations at Re = 200 have been conducted of the flow past rows of tandem cylinders. Local stability analysis shows that the wakes of two tandem cylinders are characterised by the formation of a region where the mean flow is locally absolutely unstable immediately behind the second cylinder, followed by a long region that is convectively unstable. The location where the flow changes from absolutely to convectively unstable provides a prediction of where the placement of a third body could trigger a global change, which is confirmed with simulations of the flow past three cylinders, and the flow past two cylinders followed by a short flat plate. A third body placed downstream of the absolute/convective instability transition location is effectively cloaked, its presence having virtually no impact on the flow both upstream and downstream. However, when a body is placed upstream of this location it triggers a global change in the flow, its presence being broadcast throughout the flow domain. However, a third cylinder placed well upstream of this location does not trigger the global change. Sensitivity analysis of the mean flow is conducted, and it is shown that the third cylinder does not simply act as a small perturbation that can excite sensitive regions, but when it is very close to the second cylinder it induces a mean flow correction that eliminates the sensitive regions which may explain why it does not trigger the global change.


title: Neural networks with late-phase weights

abstract: The largely successful method of training neural networks is to learn their weights using some variant of stochastic gradient descent (SGD). Here, we show that the solutions found by SGD can be further improved by ensembling a subset of the weights in late stages of learning. At the end of learning, we obtain back a single model by taking a spatial average in weight space. To avoid incurring increased computational costs, we investigate a family of low-dimensional late-phase weight models which interact multiplicatively with the remaining parameters. Our results show that augmenting standard models with late-phase weights improves generalization in established benchmarks such as CIFAR-10/100, ImageNet and enwik8. These findings are complemented with a theoretical analysis of a noisy quadratic problem which provides a simplified picture of the late phases of neural network learning.


title: Video Super Resolution Based on Deep Learning: A Comprehensive Survey

abstract: In recent years, deep learning has made great progress in many fields such as image recognition, natural language processing, speech recognition and video super-resolution. In this survey, we comprehensively investigate 33 state-of-the-art video super-resolution (VSR) methods based on deep learning. It is well known that the leverage of information within video frames is important for video super-resolution. Thus we propose a taxonomy and classify the methods into six sub-categories according to the ways of utilizing inter-frame information. Moreover, the architectures and implementation details of all the methods are depicted in detail. Finally, we summarize and compare the performance of the representative VSR method on some benchmark datasets. We also discuss some challenges, which need to be further addressed by researchers in the community of VSR. To the best of our knowledge, this work is the first systematic review on VSR tasks, and it is expected to make a contribution to the development of recent studies in this area and potentially deepen our understanding to the VSR techniques based on deep learning.


title: Insightful Assistant: AI-compatible Operation Graph Representations for Enhancing Industrial Conversational Agents

abstract: Advances in voice-controlled assistants paved the way into the consumer market. For professional or industrial use, the capabilities of such assistants are too limited or too time-consuming to implement due to the higher complexity of data, possible AI-based operations, and requests. In the light of these deficits, this paper presents Insightful Assistant---a pipeline concept based on a novel operation graph representation resulting from the intents detected. Using a predefined set of semantically annotated (executable) functions, each node of the operation graph is assigned to a function for execution. Besides basic operations, such functions can contain artificial intelligence (AI) based operations (e.g., anomaly detection). The result is then visualized to the user according to type and extracted user preferences in an automated way. We further collected a unique crowd-sourced set of 869 requests, each with four different variants expected visualization, for an industrial dataset. The evaluation of our proof-of-concept prototype on this dataset shows its feasibility: it achieves an accuracy of up to 95.0% (74.5%) for simple (complex) request detection with different variants and a top3-accuracy up to 95.4% for data-/user-adaptive visualization.


title: Towards the Solution of an Extremal Problem Concerning the Wiener Polarity Index of Alkanes

abstract: The Wiener polarity index $W_p$, one of the most studied molecular structure descriptors, was devised by the chemist Harold Wiener for predicting the boiling points of alkanes. The index $W_p$ for chemical trees (chemical graphs representing alkanes) is defined as the number of unordered pairs of vertices at distance 3. A vertex of a chemical tree with the degree at least 3 is called a branching vertex. A segment of a chemical tree $T$ is a path-subtree $S$ whose terminal vertices have degrees different from 2 in $T$ and every internal vertex (if exists) of $S$ has degree 2 in $T$. In this paper, the best possible sharp upper and lower bounds on the Wiener polarity index $W_p$ are derived for the chemical trees of order $n$ with a given number of branching vertices or segments, and the corresponding extremal chemical trees are characterized. As a consequence of the derived results, an open problem concerning the maximal $W_p$ value of chemical trees with a fixed number of segments or branching vertices is solved.


title: Yquant: Typesetting quantum circuits in a human-readable language

abstract: Yquant is a LaTeX-only package -- i.e., involving no external programs -- that allows to typeset quantum circuits in a simple and human-readable language. It is inspired by the well-known qasm language and in fact even supports this language; however, the yquant language brings much more flexibility. yquant is based on TikZ and, while producing high-quality output out-of-the-box, it is highly configurable.


title: Non-parallel Emotion Conversion using a Deep-Generative Hybrid Network and an Adversarial Pair Discriminator

abstract: We introduce a novel method for emotion conversion in speech that does not require parallel training data. Our approach loosely relies on a cycle-GAN schema to minimize the reconstruction error from converting back and forth between emotion pairs. However, unlike the conventional cycle-GAN, our discriminator classifies whether a pair of input real and generated samples corresponds to the desired emotion conversion (e.g., A to B) or to its inverse (B to A). We will show that this setup, which we refer to as a variational cycle-GAN (VC-GAN), is equivalent to minimizing the empirical KL divergence between the source features and their cyclic counterpart. In addition, our generator combines a trainable deep network with a fixed generative block to implement a smooth and invertible transformation on the input features, in our case, the fundamental frequency (F0) contour. This hybrid architecture regularizes our adversarial training procedure. We use crowd sourcing to evaluate both the emotional saliency and the quality of synthesized speech. Finally, we show that our model generalizes to new speakers by modifying speech produced by Wavenet.


title: Simulation Based Algorithms for Markov Decision Processes and Multi-Action Restless Bandits

abstract: We consider multi-dimensional Markov decision processes and formulate a long term discounted reward optimization problem. Two simulation based algorithms---Monte Carlo rollout policy and parallel rollout policy are studied, and various properties for these policies are discussed. We next consider a restless multi-armed bandit (RMAB) with multi-dimensional state space and multi-actions bandit model. A standard RMAB consists of two actions for each arms whereas in multi-actions RMAB, there are more that two actions for each arms. A popular approach for RMAB is Whittle index based heuristic policy. Indexability is an important requirement to use index based policy. Based on this, an RMAB is classified into indexable or non-indexable bandits. Our interest is in the study of Monte-Carlo rollout policy for both indexable and non-indexable restless bandits. We first analyze a standard indexable RMAB (two-action model) and discuss an index based policy approach. We present approximate index computation algorithm using Monte-Carlo rollout policy. This algorithm's convergence is shown using two-timescale stochastic approximation scheme. Later, we analyze multi-actions indexable RMAB, and discuss the index based policy approach. We also study non-indexable RMAB for both standard and multi-actions bandits using Monte-Carlo rollout policy.


title: SOTERIA: In Search of Efficient Neural Networks for Private Inference

abstract: ML-as-a-service is gaining popularity where a cloud server hosts a trained model and offers prediction (inference) service to users. In this setting, our objective is to protect the confidentiality of both the users' input queries as well as the model parameters at the server, with modest computation and communication overhead. Prior solutions primarily propose fine-tuning cryptographic methods to make them efficient for known fixed model architectures. The drawback with this line of approach is that the model itself is never designed to operate with existing efficient cryptographic computations. We observe that the network architecture, internal functions, and parameters of a model, which are all chosen during training, significantly influence the computation and communication overhead of a cryptographic method, during inference. Based on this observation, we propose SOTERIA -- a training method to construct model architectures that are by-design efficient for private inference. We use neural architecture search algorithms with the dual objective of optimizing the accuracy of the model and the overhead of using cryptographic primitives for secure inference. Given the flexibility of modifying a model during training, we find accurate models that are also efficient for private computation. We select garbled circuits as our underlying cryptographic primitive, due to their expressiveness and efficiency, but this approach can be extended to hybrid multi-party computation settings. We empirically evaluate SOTERIA on MNIST and CIFAR10 datasets, to compare with the prior work. Our results confirm that SOTERIA is indeed effective in balancing performance and accuracy.


title: A deep learning based multiscale approach to segment cancer area in liver whole slide image

abstract: This paper addresses the problem of liver cancer segmentation in Whole Slide Image (WSI). We propose a multi-scale image processing method based on automatic end-to-end deep neural network algorithm for segmentation of cancer area. A seven-levels gaussian pyramid representation of the histopathological image was built to provide the texture information in different scales. In this work, several neural architectures were compared using the original image level for the training procedure. The proposed method is based on U-Net applied to seven levels of various resolutions (pyramidal subsumpling). The predictions in different levels are combined through a voting mechanism. The final segmentation result is generated at the original image level. Partial color normalization and weighted overlapping method were applied in preprocessing and prediction separately. The results show the effectiveness of the proposed multi-scales approach achieving better scores compared to the state-of-the-art.


title: A sequential test for the drift of a Brownian motion with a possibility to change a decision

abstract: We construct a Bayesian sequential test of two simple hypotheses about the value of the unobservable drift coefficient of a Brownian motion, with a possibility to change the initial decision at subsequent moments of time for some penalty. Such a testing procedure allows to correct the initial decision if it turns out to be wrong. The test is based on observation of the posterior mean process and makes the initial decision and, possibly, changes it later, when this process crosses certain thresholds. The solution of the problem is obtained by reducing it to joint optimal stopping and optimal switching problems.


title: Multi-speaker Emotion Conversion via Latent Variable Regularization and a Chained Encoder-Decoder-Predictor Network

abstract: We propose a novel method for emotion conversion in speech based on a chained encoder-decoder-predictor neural network architecture. The encoder constructs a latent embedding of the fundamental frequency (F0) contour and the spectrum, which we regularize using the Large Diffeomorphic Metric Mapping (LDDMM) registration framework. The decoder uses this embedding to predict the modified F0 contour in a target emotional class. Finally, the predictor uses the original spectrum and the modified F0 contour to generate a corresponding target spectrum. Our joint objective function simultaneously optimizes the parameters of three model blocks. We show that our method outperforms the existing state-of-the-art approaches on both, the saliency of emotion conversion and the quality of resynthesized speech. In addition, the LDDMM regularization allows our model to convert phrases that were not present in training, thus providing evidence for out-of-sample generalization.


title: Discrete Hilbert Space, the Born Rule, and Quantum Gravity

abstract: Quantum gravitational effects suggest a minimal length, or spacetime interval, of order the Planck length. This in turn suggests that Hilbert space itself may be discrete rather than continuous. One implication is that quantum states with norm below some very small threshold do not exist. The exclusion of what Everett referred to as maverick branches is necessary for the emergence of the Born Rule in no collapse quantum mechanics. We discuss this in the context of quantum gravity, showing that discrete models (such as simplicial or lattice quantum gravity) indeed suggest a discrete Hilbert space with minimum norm. These considerations are related to the ultimate level of fine-graining found in decoherent histories (of spacetime geometry plus matter fields) produced by quantum gravity.


title: A Langevin dynamics approach for multi-layer mass transfer problems

abstract: We use Langevin dynamics simulations to study the mass diffusion problem across two adjacent porous layers of different transport property. At the interface between the layers, we impose the Kedem-Katchalsky (KK) interfacial boundary condition that is well suited in a general situation. A detailed algorithm for the implementation of the KK interfacial condition in the Langevin dynamics framework is presented. As a case study, we consider a two-layer diffusion model of a drug-eluting stent. The simulation results are compared with those obtained from the solution of the corresponding continuum diffusion equation, and an excellent agreement is shown.


title: Multitape automata and finite state transducers with lexicographic weights

abstract: Finite state transducers, multitape automata and weighted automata have a lot in common. By studying their universal foundations, one can discover some new insights into all of them. The main result presented here is the introduction of lexicographic finite state transducers, that could be seen as intermediate model between multitape automata and weighted transducers. Their most significant advantage is being equivalent, but often exponentially smaller than even smallest nondeterministic automata without weights. Lexicographic transducers were discovered by taking inspiration from Eilenberg's algebraic approach to automata and Solomonoff's treatment of a priori probability. Therefore, a quick and concise survey of those topics is presented, prior to introducing lexicographic transducers.


title: Learning Variational Data Assimilation Models and Solvers

abstract: This paper addresses variational data assimilation from a learning point of view. Data assimilation aims to reconstruct the time evolution of some state given a series of observations, possibly noisy and irregularly-sampled. Using automatic differentiation tools embedded in deep learning frameworks, we introduce end-to-end neural network architectures for data assimilation. It comprises two key components: a variational model and a gradient-based solver both implemented as neural networks. A key feature of the proposed end-to-end learning architecture is that we may train the NN models using both supervised and unsupervised strategies. Our numerical experiments on Lorenz-63 and Lorenz-96 systems report significant gain w.r.t. a classic gradient-based minimization of the variational cost both in terms of reconstruction performance and optimization complexity. Intriguingly, we also show that the variational models issued from the true Lorenz-63 and Lorenz-96 ODE representations may not lead to the best reconstruction performance. We believe these results may open new research avenues for the specification of assimilation models in geoscience.


title: Gradient Regularized Contrastive Learning for Continual Domain Adaptation

abstract: Human beings can quickly adapt to environmental changes by leveraging learning experience. However, the poor ability of adapting to dynamic environments remains a major challenge for AI models. To better understand this issue, we study the problem of continual domain adaptation, where the model is presented with a labeled source domain and a sequence of unlabeled target domains. There are two major obstacles in this problem: domain shifts and catastrophic forgetting. In this work, we propose Gradient Regularized Contrastive Learning to solve the above obstacles. At the core of our method, gradient regularization plays two key roles: (1) enforces the gradient of contrastive loss not to increase the supervised training loss on the source domain, which maintains the discriminative power of learned features; (2) regularizes the gradient update on the new domain not to increase the classification loss on the old target domains, which enables the model to adapt to an in-coming target domain while preserving the performance of previously observed domains. Hence our method can jointly learn both semantically discriminative and domain-invariant features with labeled source domain and unlabeled target domains. The experiments on Digits, DomainNet and Office-Caltech benchmarks demonstrate the strong performance of our approach when compared to the state-of-the-art.


title: Bipartite Graft I: Dulmage-Mendelsohn Decomposition for Combs

abstract: We provide an analogue of the Dulmage-Mendelsohn decomposition for a class of grafts known as comb-bipartite grafts. The Dulmage-Mendelsohn decomposition in matching theory is a classical canonical structure theorem for bipartite graphs. The substantial part of this classical theorem resides in bipartite graphs that are factorizable, that is, those with a perfect matching. Minimum joins in grafts, also known as minimum $T$-joins in graphs, is a generalization of perfect matchings in factorizable graphs. Seb\"o revealed in his paper that comb-bipartite grafts form one of the two fundamental classes of grafts that serve as skeletons or building blocks of any grafts. Particularly, any bipartite grafts, that is, bipartite counterpart of grafts, can be considered as a recursive combination of comb-bipartite grafts. In this paper, we generalize the Dulmage-Mendelsohn decomposition for comb-bipartite grafts. We also show for this decomposition a property that is characteristics to grafts using the general Kotzig-Lov\'asz decomposition for grafts, which is a known graft analogue of another canonical structure theorem from matching theory. This paper is the first from a series of studies regarding bipartite grafts.


title: MRGAN: Multi-Rooted 3D Shape Generation with Unsupervised Part Disentanglement

abstract: We present MRGAN, a multi-rooted adversarial network which generates part-disentangled 3D point-cloud shapes without part-based shape supervision. The network fuses multiple branches of tree-structured graph convolution layers which produce point clouds, with learnable constant inputs at the tree roots. Each branch learns to grow a different shape part, offering control over the shape generation at the part level. Our network encourages disentangled generation of semantic parts via two key ingredients: a root-mixing training strategy which helps decorrelate the different branches to facilitate disentanglement, and a set of loss terms designed with part disentanglement and shape semantics in mind. Of these, a novel convexity loss incentivizes the generation of parts that are more convex, as semantic parts tend to be. In addition, a root-dropping loss further ensures that each root seeds a single part, preventing the degeneration or over-growth of the point-producing branches. We evaluate the performance of our network on a number of 3D shape classes, and offer qualitative and quantitative comparisons to previous works and baseline approaches. We demonstrate the controllability offered by our part-disentangled generation through two applications for shape modeling: part mixing and individual part variation, without receiving segmented shapes as input.


title: Non-linear edge dynamics of an Integer Quantum Hall fluid

abstract: We report a theoretical study of the linear and nonlinear dynamics of edge excitations of an integer quantum Hall state of non-interacting fermions. New features beyond the chiral Luttinger liquid picture are anticipated to arise from the interplay of the curvature of the Landau level dispersion and of the Pauli exclusion principle. For long-wavelength perturbations, the microscopic numerical results are captured by a chiral nonlinear hydrodynamic equation including a density-dependent velocity term. In the wave-breaking regime, shock waves are found to be regularized into a complex ripple pattern by dispersion effects. Our results are of specific relevance for experiments with synthetic quantum matter, in particular ultracold atomic gases.


title: Duluth at SemEval-2020 Task 12: Offensive Tweet Identification in English with Logistic Regression

abstract: This paper describes the Duluth systems that participated in SemEval--2020 Task 12, Multilingual Offensive Language Identification in Social Media (OffensEval--2020). We participated in the three English language tasks. Our systems provide a simple Machine Learning baseline using logistic regression. We trained our models on the distantly supervised training data made available by the task organizers and used no other resources. As might be expected we did not rank highly in the comparative evaluation: 79th of 85 in Task A, 34th of 43 in Task B, and 24th of 39 in Task C. We carried out a qualitative analysis of our results and found that the class labels in the gold standard data are somewhat noisy. We hypothesize that the extremely high accuracy (> 90%) of the top ranked systems may reflect methods that learn the training data very well but may not generalize to the task of identifying offensive language in English. This analysis includes examples of tweets that despite being mildly redacted are still offensive.


title: Microstructure evolution and densification during spark plasma sintering of nanocrystalline W-5wt.%Ta alloy

abstract: The present work reports the effect of Ta on densification and microstructure evolution during non-isothermal and spark plasma sintering of nanocrystalline W. Nanocrystalline W-5wt.%Ta alloy powder was synthesized using mechanical alloying. The nanocrystalline powder was characterized thoroughly using X-ray diffraction line profile analysis. Furthermore, the shrinkage behavior of nanocrystalline powder was investigated during non-isothermal sintering using dilatometry. Subsequently, the alloy powder was consolidated using spark plasma sintering up to 1600 {\deg}C. The role of Ta on stabilizing the microstructure during spark plasma sintering of nanocrystalline W was investigated in detail using electron backscatter diffraction. The average grain size of spark plasma sintered W-5wt.%Ta alloy was observed as 1.73 micron.


title: Nonlinear ISA with Auxiliary Variables for Learning Speech Representations

abstract: This paper extends recent work on nonlinear Independent Component Analysis (ICA) by introducing a theoretical framework for nonlinear Independent Subspace Analysis (ISA) in the presence of auxiliary variables. Observed high dimensional acoustic features like log Mel spectrograms can be considered as surface level manifestations of nonlinear transformations over individual multivariate sources of information like speaker characteristics, phonological content etc. Under assumptions of energy based models we use the theory of nonlinear ISA to propose an algorithm that learns unsupervised speech representations whose subspaces are independent and potentially highly correlated with the original non-stationary multivariate sources. We show how nonlinear ICA with auxiliary variables can be extended to a generic identifiable model for subspaces as well while also providing sufficient conditions for the identifiability of these high dimensional subspaces. Our proposed methodology is generic and can be integrated with standard unsupervised approaches to learn speech representations with subspaces that can theoretically capture independent higher order speech signals. We evaluate the gains of our algorithm when integrated with the Autoregressive Predictive Decoding (APC) model by showing empirical results on the speaker verification and phoneme recognition tasks.


title: Duluth at SemEval-2019 Task 6: Lexical Approaches to Identify and Categorize Offensive Tweets

abstract: This paper describes the Duluth systems that participated in SemEval--2019 Task 6, Identifying and Categorizing Offensive Language in Social Media (OffensEval). For the most part these systems took traditional Machine Learning approaches that built classifiers from lexical features found in manually labeled training data. However, our most successful system for classifying a tweet as offensive (or not) was a rule-based black--list approach, and we also experimented with combining the training data from two different but related SemEval tasks. Our best systems in each of the three OffensEval tasks placed in the middle of the comparative evaluation, ranking 57th of 103 in task A, 39th of 75 in task B, and 44th of 65 in task C.


title: Quantum nonlocality in networks can be demonstrated with an arbitrarily small level of independence between the sources

abstract: Quantum nonlocality can be observed in networks even in the case where every party can only perform a single measurement, i.e. does not receive any input. So far, this effect has been demonstrated under the assumption that all sources in the network are fully independent from each other. Here we investigate to what extent this independence assumption can be relaxed. After formalizing the question, we show that, in the triangle network without inputs, quantum nonlocality can be observed, even when assuming only an arbitrarily small level of independence between the sources. This means that quantum predictions cannot be reproduced by a local model unless the three sources can be perfectly correlated.


title: Comparison of Machine Learning Methods for Predicting Karst Spring Discharge in North China

abstract: The quantitative analyses of karst spring discharge typically rely on physical-based models, which are inherently uncertain. To improve the understanding of the mechanism of spring discharge fluctuation and the relationship between precipitation and spring discharge, three machine learning methods were developed to reduce the predictive errors of physical-based groundwater models, simulate the discharge of Longzici Spring's karst area, and predict changes in the spring on the basis of long time series precipitation monitoring and spring water flow data from 1987 to 2018. The three machine learning methods included two artificial neural networks (ANNs), namely, multilayer perceptron (MLP) and long short-term memory-recurrent neural network (LSTM-RNN), and support vector regression (SVR). A normalization method was introduced for data preprocessing to make the three methods robust and computationally efficient. To compare and evaluate the capability of the three machine learning methods, the mean squared error (MSE), mean absolute error (MAE), and root-mean-square error (RMSE) were selected as the performance metrics for these methods. Simulations showed that MLP reduced MSE, MAE, and RMSE to 0.0010, 0.0254, and 0.0318, respectively. Meanwhile, LSTM-RNN reduced MSE to 0.0010, MAE to 0.0272, and RMSE to 0.0329. Moreover, the decrease in MSE, MAE, and RMSE were 0.0910, 0.1852, and 0.3017, respectively, for SVR. Results indicated that MLP performed slightly better than LSTM-RNN, and MLP and LSTM-RNN performed considerably better than SVR. Furthermore, ANNs were demonstrated to be prior machine learning methods for simulating and predicting karst spring discharge.


title: Object Handovers: a Review for Robotics

abstract: This article surveys the literature on human-robot object handovers. A handover is a collaborative joint action where an agent, the giver, gives an object to another agent, the receiver. The physical exchange starts when the receiver first contacts the object held by the giver and ends when the giver fully releases the object to the receiver. However, important cognitive and physical processes begin before the physical exchange, including initiating implicit agreement with respect to the location and timing of the exchange. From this perspective, we structure our review into the two main phases delimited by the aforementioned events: 1) a pre-handover phase, and 2) the physical exchange. We focus our analysis on the two actors (giver and receiver) and report the state of the art of robotic givers (robot-to-human handovers) and the robotic receivers (human-to-robot handovers). We report a comprehensive list of qualitative and quantitative metrics commonly used to assess the interaction. While focusing our review on the cognitive level (e.g., prediction, perception, motion planning, learning) and the physical level (e.g., motion, grasping, grip release) of the handover, we briefly discuss also the concepts of safety, social context, and ergonomics. We compare the behaviours displayed during human-to-human handovers to the state of the art of robotic assistants, and identify the major areas of improvement for robotic assistants to reach performance comparable to human interactions. Finally, we propose a minimal set of metrics that should be used in order to enable a fair comparison among the approaches.


title: A geometric proof of regularity of all anisotropic minimal surfaces in $\mathbb{R}^{2}$

abstract: A set of locally finite perimeter $E \subset \mathbb{R}^{n}$ is called an anisotropic minimal surface in an open set $A$ if $\Phi(E;A) \le \Phi(F;A)$ for some surface energy $\Phi(E;A) = \int_{\partial^{*}E \cap A} \| \nu_{E}\| d \mathcal{H}^{n-1}$ and all sets of locally finite perimeter $F$ such that $E \Delta F \subset \subset A$. In this short note we provide the details of a geometric proof verifying that all anisotropic surface minimizers in $\mathbb{R}^{2}$ whose corresponding integrand $\| \cdot \|$ is strictly convex are locally disjoint unions of line segments. This demonstrates that, in the plane, strict convexity of $\| \cdot \|$ is both necessary and sufficient for regularity. The corresponding Bernstein theorem is also proven: global anisotropic minimizers $E \subset \mathbb{R}^{2}$ are half-spaces.


title: Quantum Fisher information-based detection of genuine tripartite entanglement

abstract: Genuine multipartite entanglement plays important roles in quantum information processing. The detection of genuine multipartite entanglement has been long time a challenging problem in the theory of quantum entanglement. We propose a criterion for detecting genuine tripartite entanglement of arbitrary dimensional tripartite states based on quantum Fisher information. We show that this criterion is more effective for some states in detecting genuine tripartite entanglement by detailed example.


title: Quasi-Periodic Parallel WaveGAN: A Non-autoregressive Raw Waveform Generative Model with Pitch-dependent Dilated Convolution Neural Network

abstract: In this paper, we propose a quasi-periodic parallel WaveGAN (QPPWG) waveform generative model, which applies a quasi-periodic (QP) structure to a parallel WaveGAN (PWG) model using pitch-dependent dilated convolution networks (PDCNNs). PWG is a small-footprint GAN-based raw waveform generative model, whose generation time is much faster than real time because of its compact model and non-autoregressive (non-AR) and non-causal mechanisms. Although PWG achieves high-fidelity speech generation, the generic and simple network architecture lacks pitch controllability for an unseen auxiliary fundamental frequency ($F_{0}$) feature such as a scaled $F_{0}$. To improve the pitch controllability and speech modeling capability, we apply a QP structure with PDCNNs to PWG, which introduces pitch information to the network by dynamically changing the network architecture corresponding to the auxiliary $F_{0}$ feature. Both objective and subjective experimental results show that QPPWG outperforms PWG when the auxiliary $F_{0}$ feature is scaled. Moreover, analyses of the intermediate outputs of QPPWG also show better tractability and interpretability of QPPWG, which respectively models spectral and excitation-like signals using the cascaded fixed and adaptive blocks of the QP structure.


title: Asymptotic Behavior of Stochastic Currents under Large Deviation Scaling with Mean Field Interaction and Vanishing Noise

abstract: We study the large deviation behavior of a system of diffusing particles with a mean field interaction, described through a collection of stochastic differential equations, in which each particle is driven by a vanishing independent Brownian noise. An important object in the description of the asymptotic behavior, as the number of particles approach infinity and the noise intensity approaches zero, is the stochastic current associated with the interacting particle system in the sense of Flandoli et al. (2005). We establish a joint large deviation principle (LDP) for the path empirical measure for the particle system and the associated stochastic currents in the simultaneous large particle and small noise limit. Our work extends recent results of Orrieri (2018), in which the diffusion coefficient is taken to be identity, to a setting of a state dependent and possibly degenerate noise with the mean field interaction influencing both the drift and diffusion coefficients, and allows for a stronger topology on the space of stochastic currents in the LDP. Proof techniques differ from Orrieri (2018) and rely on methods from stochastic control, theory of weak convergence, and representation formulas for Laplace functionals of Brownian motions.


title: Arakelov-Nevanlinna inequalities for variations of Hodge structures and applications

abstract: We prove a Second Main Theorem type inequality for any log-smooth projective pair $(X,D)$ such that $X\setminus D$ supports a complex polarized variation of Hodge structures. This can be viewed as a Nevanlinna theoretic analogue of the Arakelov inequalities for variations of Hodge structures due to Deligne, Peters and Jost-Zuo. As an application, we obtain in this context a criterion of hyperbolicity that we use to derive a vast generalization of a well-known hyperbolicity result of Nadel. The first ingredient of our proof is a Second Main Theorem type inequality for any log-smooth projective pair $(X,D)$ such that $X\setminus D$ supports a metric whose holomorphic sectional curvature is bounded from above by a negative constant. The second ingredient of our proof is an explicit bound on the holomorphic sectional curvature of the Griffiths-Schmid metric constructed from a variation of Hodge structures. As a byproduct of our approach, we also establish a Second Main Theorem type inequality for pairs $(X,D)$ such that $X\setminus D$ is hyperbolically embedded in $X$.


title: Tantala Kerr-nonlinear integrated photonics

abstract: Integrated photonics plays a central role in modern science and technology, enabling experiments from nonlinear science to quantum information, ultraprecise measurements and sensing, and advanced applications like data communication and signal processing. Optical materials with favorable properties are essential for nanofabrication of integrated-photonics devices. Here we describe a material for integrated nonlinear photonics, tantalum pentoxide (Ta$_2$O$_5$, hereafter tantala), which offers low intrinsic material stress, low optical loss, and efficient access to Kerr-nonlinear processes. We utilize >800-nm thick tantala films deposited via ion-beam sputtering on oxidized silicon wafers. The tantala films contain a low residual tensile stress of 38 MPa, and they offer a Kerr index $n_2$=6.2(23)$\times10^{-19}$ m$^2$/W, which is approximately a factor of three higher than silicon nitride. We fabricate integrated nonlinear resonators and waveguides without the cracking challenges that are prevalent in stoichiometric silicon nitride. The tantala resonators feature an optical quality factor up to $3.8\times10^6$, which enables us to generate ultrabroad-bandwidth Kerr-soliton frequency combs with low threshold power. Moreover, tantala waveguides enable supercontinuum generation across the near-infrared from low-energy, ultrafast seed pulses. Our work introduces a versatile material platform for integrated, low-loss nanophotonics that can be broadly applied and enable heterogeneous integration.


title: On the Determination of Rotation Velocity and Dynamical Mass of Galaxies Based on Integrated H I Spectra

abstract: The integrated 21 cm H I emission profile of a galaxy encodes valuable information on the kinematics, spatial distribution, and dynamical state of its cold interstellar medium. The line width, in particular, reflects the rotation velocity of the galaxy, which, in combination with a size scale, can be used to constrain the dynamical mass of the system. We introduce a new method based on the concept of the curve of growth to derive a set of robust parameters to characterize the line width, asymmetry, and concentration of the integrated H I spectra. We use mock spectra to evaluate the performance of our method, to estimate realistic systematic uncertainties for the proposed parameters, and to correct the line widths for the effects of instrumental resolution and turbulence broadening. Using a large sample of nearby galaxies with available spatially resolved kinematics, we demonstrate that the newly defined line widths can predict the rotational velocities of galaxies to within an accuracy of $\lesssim 30$ km s$^{-1}$. We use the calibrated line widths, in conjunction with the empirical relation between the size and mass of H I disks, to formulate a prescription for estimating the dynamical mass within the H I-emitting region of gas-rich galaxies. Our formalism yields dynamical masses accurate to $\sim 0.3$ dex based solely on quantities that can be derived efficiently and robustly from current and future extragalactic H I surveys. We further extend the dynamical mass calibration to the scale of the dark matter halo.


title: Convergence of Density Approximations for Stochastic Heat Equation

abstract: This paper investigates the convergence of density approximations for stochastic heat equation in both uniform convergence topology and total variation distance. The convergence order of the densities in uniform convergence topology is shown to be exactly $1/2$ in the nonlinear case and nearly $1$ in the linear case. This result implies that the distributions of the approximations always converge to the distribution of the origin equation in total variation distance. As far as we know, this is the first result on the convergence of density approximations to the stochastic partial differential equation.


title: Sequential Multi-hypothesis Testing in Multi-armed Bandit Problems:An Approach for Asymptotic Optimality

abstract: We consider a multi-hypothesis testing problem involving a K-armed bandit. Each arm's signal follows a distribution from a vector exponential family. The actual parameters of the arms are unknown to the decision maker. The decision maker incurs a delay cost for delay until a decision and a switching cost whenever he switches from one arm to another. His goal is to minimise the overall cost until a decision is reached on the true hypothesis. Of interest are policies that satisfy a given constraint on the probability of false detection. This is a sequential decision making problem where the decision maker gets only a limited view of the true state of nature at each stage, but can control his view by choosing the arm to observe at each stage. An information-theoretic lower bound on the total cost (expected time for a reliable decision plus total switching cost) is first identified, and a variation on a sequential policy based on the generalised likelihood ratio statistic is then studied. Due to the vector exponential family assumption, the signal processing at each stage is simple; the associated conjugate prior distribution on the unknown model parameters enables easy updates of the posterior distribution. The proposed policy, with a suitable threshold for stopping, is shown to satisfy the given constraint on the probability of false detection. Under a continuous selection assumption, the policy is also shown to be asymptotically optimal in terms of the total cost among all policies that satisfy the constraint on the probability of false detection.


title: On certain Fourier expansions for the Riemann zeta function

abstract: We build on a recent paper on Fourier expansions for the Riemann zeta function. We establish Fourier expansions for certain $L$-functions, and offer series representations involving the Whittaker function $W_{\gamma,\mu}(z)$ for the coefficients. Fourier expansions for the reciprocal of the Riemann zeta function are also stated. A new expansion for the Riemann xi function is presented in the third section by constructing an integral formula using Mellin transforms for its Fourier coefficients.


title: Minimum Overhead Beamforming and Resource Allocation in D2D Edge Networks

abstract: Device-to-device (D2D) communications is expected to be a critical enabler of distributed computing in edge networks at scale. A key challenge in providing this capability is the requirement for judicious management of the heterogeneous communication and computation resources that exist at the edge to meet processing needs. In this paper, we develop an optimization methodology that considers the network topology jointly with device and network resource allocation to minimize total D2D overhead, which we quantify in terms of time and energy required for task processing. Variables in our model include task assignment, CPU allocation, subchannel selection, and beamforming design for multiple-input multiple-output (MIMO) wireless devices. We propose two methods to solve the resulting non-convex mixed integer program: semi-exhaustive search optimization, which represents a "best-effort" at obtaining the optimal solution, and efficient alternate optimization, which is more computationally efficient. As a component of these two methods, we develop a novel coordinated beamforming algorithm which we show obtains the optimal beamformer for a common receiver characteristic. Through numerical experiments, we find that our methodology yields substantial improvements in network overhead compared with local computation and partially optimized methods, which validates our joint optimization approach. Further, we find that the efficient alternate optimization scales well with the number of nodes, and thus can be a practical solution for D2D computing in large networks.


title: Dynamical analysis of cosmological models with non-Abelian gauge vector fields

abstract: In this paper we study some models where non-Abelian gauge vector fields endowed with a SU(2) group representation are the unique source of inflation and dark energy. These models were first introduced under the name of gaugeflation and gaugessence, respectively. Although several realizations of these models have been discussed, not all available parameters and initial conditions are known. In this work, we use a dynamical system approach to find the full parameter space of the massive version of each model. In particular, we found that the inclusion of the mass term increases the length of the inflationary period. Additionally, the mass term implies new behaviors for the equation of state of dark energy allowing to distinguish this from other prototypical models of accelerated expansion. We show that an axially symmetric gauge field can support an anisotropic accelerated expansion within the observational bounds.


title: Increasing hyperbolicity of varieties supporting a variation of Hodge structures with level structures

abstract: Looking at the finite \'etale congruence covers $X(p)$ of a complex algebraic variety $X$ equipped with a variation of integral polarized Hodge structures whose period map is quasi-finite, we show that both the minimal gonality among all curves contained in $X(p)$ and the minimal volume among all subvarieties of $X(p)$ tend to infinity with $p$. This applies for example to Shimura varieties, moduli spaces of curves, moduli spaces of abelian varieties, moduli spaces of Calabi-Yau varieties, and can be made effective in many cases. The proof goes roughly as follows. We first prove a generalization of the Arakelov inequalities valid for any variation of Hodge structures on higher-dimensional algebraic varieties, which implies that the hyperbolicity of the subvarieties of $X$ is controlled by the positivity of a single line bundle. We then show in general that a big line bundle on a normal proper algebraic variety $\bar X$ can be made more and more positive by going to finite covers of $\bar X$ defined using level structures of a local system defined on a Zariski-dense open subset.


title: Lifting Heptagon Symbols to Functions

abstract: Seven-point amplitudes in planar ${\cal N}=4$ super-Yang-Mills theory have previously been constructed through four loops using the Steinmann cluster bootstrap, but only at the level of the symbol. We promote these symbols to actual functions, by specifying their first derivatives and boundary conditions on a particular two-dimensional surface. To do this, we impose branch-cut conditions and construct the entire heptagon function space through weight six. We plot the amplitudes on a few lines in the bulk Euclidean region, and explore the properties of the heptagon function space under the coaction associated with multiple polylogarithms.


title: OpenPIV-Matlab -- An open-source software for particle image velocimetry; test case: birds' aerodynamics

abstract: We present an open-source MATLAB package, entitled OpenPIV-Matlab, for analyzing particle image velocimetry (PIV) data. We extend the PIV analysis with additional tools for post-processing the PIV results including the estimation of aero/hydrodynamic forces from the PIV data of a wake behind an immersed (bluff or streamlined) body. The paper presents a detailed description of the packages, covering the three main parts: generating two-dimensional two component velocity fields from pairs of images (OpenPIV-Matlab), spatial and temporal flow analysis based on the velocity fields (Spatial and Temporal Analysis Toolbox), and wake flow analysis along with the force estimates (getWAKE Toolbox). A complete analysis with a variety of post-processing capabilities is demonstrated using time-resolved PIV wake data of a freely flying European starling (\emph{Sturnus vulgaris}) in a wind tunnel.


title: Non-detection of Helium in the Upper Atmospheres of Three Sub-Neptune Exoplanets

abstract: We present a search for helium in the upper atmospheres of three sub-Neptune size planets to investigate the origins of these ubiquitous objects. The detection of helium for a low density planet would be strong evidence for the presence of a primary atmosphere accreted from the protoplanetary nebula because large amounts of helium are not expected in the secondary atmospheres of rocky planets. We used Keck+NIRSPEC to obtain high-resolution transit spectroscopy of the planets GJ1214b, GJ9827d, and HD97658b around the 10,833 Ang He triplet feature. We did not detect helium absorption for any of the planets despite achieving a high level of sensitivity. We used the non-detections to set limits on the planets' thermosphere temperatures and atmospheric loss rates by comparing grids of 1D models to the data. We also performed coupled interior structure and atmospheric loss calculations, which suggest that the bulk atmospheres (winds) of the planets would be at most modestly enhanced (depleted) in helium relative to their primordial composition. Our lack of detections of the helium triplet for GJ1214b and GJ9827d are highly inconsistent with the predictions of models for the present day mass loss on these planets. Higher signal-to-noise data would be needed to detect the helium feature predicted for HD97658b. We identify uncertainties in the EUV fluxes of the host stars and the lack of detailed mass loss models specifically for cool and metal-enhanced atmospheres as the main limitations to the interpretation of our results. Ultimately, our results suggest that the upper atmospheres of sub-Neptune planets are fundamentally different than those of gas giant planets.


title: Constructing a Testbed for Psychometric Natural Language Processing

abstract: Psychometric measures of ability, attitudes, perceptions, and beliefs are crucial for understanding user behaviors in various contexts including health, security, e-commerce, and finance. Traditionally, psychometric dimensions have been measured and collected using survey-based methods. Inferring such constructs from user-generated text could afford opportunities for timely, unobtrusive, collection and analysis. In this paper, we describe our efforts to construct a corpus for psychometric natural language processing (NLP). We discuss our multi-step process to align user text with their survey-based response items and provide an overview of the resulting testbed which encompasses survey-based psychometric measures and accompanying user-generated text from over 8,500 respondents. We report preliminary results on the use of the text to categorize/predict users' survey response labels. We also discuss the important implications of our work and resulting testbed for future psychometric NLP research.


title: On sums and products along the edges, II

abstract: This note is a continuation of an earlier paper by the authors. We describe improved constructions addressing a question of Erd\H{o}s and Szemer\'edi on sums and products of real numbers along the edges of a graph. We also add a few observations about related versions of the problem.


title: Approximating the cumulant generating function of triangles in the Erd\"os-R\'enyi random graph

abstract: We study the pressure of the "edge-triangle model", which is equivalent to the cumulant generating function of triangles in the Erd\"os-R\'enyi random graph. By analyzing finite graphs of increasing volume, as well as the graphon variational problem in the infinite volume limit, we locate a curve in the parameter space where a one-step replica symmetry breaking transition occurs. Sampling a large graph in the broken symmetry phase is well described by a graphon with a structure very close to the one of an equi-bipartite graph.

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


title: Using a Lindbladian approach to model decoherence in two coupled nuclear spins via correlated phase-damping and amplitude damping noise channels

abstract: In this work, we studied the relaxation dynamics of coherences of different order present in a system of two coupled nuclear spins. We used a previously designed model for intrinsic noise present in such systems which considers the Lindblad master equation for Markovian relaxation. We experimentally created zero-, single- and double- quantum coherences in several two-spin systems and performed a complete state tomography and computed state fidelity. We experimentally measured the decay of zero- and double- quantum coherences in these systems. The experimental data fitted well to a model that considers the main noise channels to be a correlated phase damping channel acting simultaneously on both spins in conjunction with a generalized amplitude damping channel acting independently on both spins. The differential relaxation of multiple-quantum coherences can be ascribed to the action of a correlated phase damping channel acting simultaneously on both the spins.


title: Doubly Robust Nonparametric Instrumental Variable Estimators for Survival Outcomes

abstract: Instrumental variable (IV) methods allow us the opportunity to address unmeasured confounding in causal inference. However, most IV methods are only applicable to discrete or continuous outcomes with very few IV methods for censored survival outcomes. In this work we propose nonparametric estimators for the local average treatment effect on survival probabilities under both nonignorable and ignorable censoring. We provide an efficient influence function-based estimator and a simple estimation procedure when the IV is either binary or continuous. The proposed estimators possess double-robustness properties and can easily incorporate nonparametric estimation using machine learning tools. In simulation studies, we demonstrate the flexibility and efficiency of our proposed estimators under various plausible scenarios. We apply our method to the Prostate, Lung, Colorectal, and Ovarian Cancer Screening Trial for estimating the causal effect of screening on survival probabilities and investigate the causal contrasts between the two interventions under different censoring assumptions.


title: A Bayesian framework for case-cohort Cox regression: application to dietary epidemiology

abstract: The case-cohort study design bypasses resource constraints by collecting certain expensive covariates for only a small subset of the full cohort. Weighted Cox regression is the most widely used approach for analysing case-cohort data within the Cox model, but is inefficient. Alternative approaches based on multiple imputation and nonparametric maximum likelihood suffer from incompatibility and computational issues respectively. We introduce a novel Bayesian framework for case-cohort Cox regression that avoids the aforementioned problems. Users can include auxiliary variables to help predict the unmeasured expensive covariates with a prediction model of their choice, while the models for the nuisance parameters are nonparametrically specified and integrated out. Posterior sampling can be carried out using procedures based on the pseudo-marginal MCMC algorithm. The method scales effectively to large, complex datasets, as demonstrated in our application: investigating the associations between saturated fatty acids and type 2 diabetes using the EPIC-Norfolk study. As part of our analysis, we also develop a new approach for handling compositional data in the Cox model, leading to more reliable and interpretable results compared to previous studies. The performance of our method is illustrated with extensive simulations. The code used to produce the results in this paper can be found at https://github.com/andrewyiu/bayes_cc .


title: Deep Kernel Survival Analysis and Subject-Specific Survival Time Prediction Intervals

abstract: Kernel survival analysis methods predict subject-specific survival curves and times using information about which training subjects are most similar to a test subject. These most similar training subjects could serve as forecast evidence. How similar any two subjects are is given by the kernel function. In this paper, we present the first neural network framework that learns which kernel functions to use in kernel survival analysis. We also show how to use kernel functions to construct prediction intervals of survival time estimates that are statistically valid for individuals similar to a test subject. These prediction intervals can use any kernel function, such as ones learned using our neural kernel learning framework or using random survival forests. Our experiments show that our neural kernel survival estimators are competitive with a variety of existing survival analysis methods, and that our prediction intervals can help compare different methods' uncertainties, even for estimators that do not use kernels. In particular, these prediction interval widths can be used as a new performance metric for survival analysis methods.


title: Integral solutions to the one-loop renormalization-group equations for lepton flavor mixing parameters and the Jarlskog invariant

abstract: Working in the basis where the charged-lepton Yukawa matrix is diagonal and making the $\tau$-dominance approximations, we analytically derive integral solutions to the one-loop renormalization-group equations (RGEs) for neutrino masses, flavor mixing angles, CP-violating phases and the Jarlskog invariant under the standard parametrization of the PMNS matrix in the standard model or its minimal supersymmetric extension for both Majorana and Dirac neutrinos. With these integral solutions, we carry out numerical calculations to investigate the RGE running of lepton flavor mixing parameters and the Jarlskog invariant, and also compare these integral solutions with the exact results obtained by numerically solving the one-loop RGEs. It is shown that these integral solutions coincide with the exact results and can well describe the evolution of lepton flavor mixing parameters and the Jarlskog invariant in most cases. Some important features of our integral solutions and the evolution behaviors of relevant flavor parameters are also discussed in detail both analytically and numerically.


title: Importance of Multiplicity Fluctuations in Entropy Scaling

abstract: One of the greatest uncertainties in heavy-ion collisions is the description of the initial state. Different models predict a wide range of initial energy density distributions based on their underlying assumptions. Final flow harmonics are sensitive to these differences in the initial state due to the nearly linear mapping between eccentricities and anisotropic flow harmonics. The Trento code uses a model-agnostic approach by phenomenologically parameterizing the initial state and constraining those parameters from a Bayesian analysis. There the multiplicity fluctuations were determined by a one parameter $\Gamma$ distribution. However, initial-state models arising from the Color-Glass Condensate (CGC) framework lead to an initial energy density which is outside the functional form considered in Trento and its later Bayesian analyses because they rely on log-normal multiplicity fluctuations. We compare $T_{A}T_{B}$ scaling (CGC-like) to $\sqrt{T_{A}T_{B}}$ scaling (preferred from a Trento Bayesian analysis) and find that the $T_A T_B$ form together with log-normal fluctuations is a reasonable candidate to describe the multiplicity fluctuations but leads to larger eccentricities, which would affect the extraction of viscosity in small systems.


title: Spin and Eccentricity Evolution in Triple Systems: from the Lidov-Kozai Interaction to the Final Merger of the Inner Binary

abstract: We study the spin and eccentricity evolution of black-hole (BH) binaries that are perturbed by tertiary masses and experience the Lidov-Kozai (LK) excitation. We focus on three aspects. Firstly, we study the spin-orbit alignment of the inner binary following the approach outlined by Antonini et al. [MNRAS 480, L58 (2018)] and Liu and Lai [ApJ 863, 68 (2018)], yet allowing the spins to have random initial orientations. We confirm the existence of a dynamical attractor that drives the spin-orbit angle at the end of the LK evolution to a value given by the initial angle between the spin and the outer orbital angular momentum (instead of to a specific value of the effective spin). Secondly, we follow the (inner) binary's evolution further to the merger to study the final spin-spin alignment. We generalize the effective potential theory to include orbital eccentricity, which allows us to efficiently evolve the system in the early inspiral stages. We further find that the spin-spin and spin-orbit alignments are correlated and the correlation is determined by the initial spin-orbit angle. For systems with the spin vectors initially in the orbital plane, the final spins strongly disfavor an aligned configuration and could thus lead to a greater value of the GW recoil than a uniform spin-spin alignment would predict. Lastly, we study the maximum eccentricity excitation that can be achieved during the LK process, including the effects of gravitational-wave radiation. We find that when the tertiary mass is a super-massive BH and the inner binary is massive, then even with the maximum LK excitation, the residual eccentricity is typically less than 0.1 when the binary's orbital frequency reaches 10 Hz, and a decihertz detector would be necessary to follow such a system's orbital evolution.


title: GP-Aligner: Unsupervised Non-rigid Groupwise Point Set Registration Based On Optimized Group Latent Descriptor

abstract: In this paper, we propose a novel method named GP-Aligner to deal with the problem of non-rigid groupwise point set registration. Compared to previous non-learning approaches, our proposed method gains competitive advantages by leveraging the power of deep neural networks to effectively and efficiently learn to align a large number of highly deformed 3D shapes with superior performance. Unlike most learning-based methods that use an explicit feature encoding network to extract the per-shape features and their correlations, our model leverages a model-free learnable latent descriptor to characterize the group relationship. More specifically, for a given group we first define an optimizable Group Latent Descriptor (GLD) to characterize the gruopwise relationship among a group of point sets. Each GLD is randomly initialized from a Gaussian distribution and then concatenated with the coordinates of each point of the associated point sets in the group. A neural network-based decoder is further constructed to predict the coherent drifts as the desired transformation from input groups of shapes to aligned groups of shapes. During the optimization process, GP-Aligner jointly updates all GLDs and weight parameters of the decoder network towards the minimization of an unsupervised groupwise alignment loss. After optimization, for each group our model coherently drives each point set towards a middle, common position (shape) without specifying one as the target. GP-Aligner does not require large-scale training data for network training and it can directly align groups of point sets in a one-stage optimization process. GP-Aligner shows both accuracy and computational efficiency improvement in comparison with state-of-the-art methods for groupwise point set registration. Moreover, GP-Aligner is shown great efficiency in aligning a large number of groups of real-world 3D shapes.


title: Theory of coupled ion-electron transfer kinetics

abstract: The microscopic theory of chemical reactions is based on transition state theory, where atoms or ions transfer classically over an energy barrier, as electrons maintain their ground state. Electron transfer is fundamentally different and occurs by tunneling in response to solvent fluctuations. Here, we develop the theory of coupled ion-electron transfer, in which ions and solvent molecules fluctuate cooperatively to facilitate electron transfer. We derive a general formula of the reaction rate that depends on the overpotential, solvent properties, the electronic structure of the electron donor/acceptor, and the excess chemical potential of ions in the transition state. For Faradaic reactions, the theory predicts curved Tafel plots with a concentration-dependent reaction-limited current. For moderate overpotentials, our formula reduces to the Butler-Volmer equation and explains its relevance, not only in the well-known limit of large electron-transfer (solvent reorganization) energy, but also in the opposite limit of large ion-transfer energy. The rate formula is applied to Li-ion batteries, where reduction of the electrode host material couples with ion insertion. In the case of lithium iron phosphate, the theory accurately predicts the concentration dependence of the exchange current measured by {\it in operando} X-Ray microscopy without any adjustable parameters. These results pave the way for interfacial engineering to enhance ion intercalation rates, not only for batteries, but also for ionic separations and neuromorphic computing.


title: Homogeneous Focusing Field for Short Relativistic Electron Bunches in Plasma

abstract: Plasma wake lens in which all short relativistic electron bunches of sequence are focused identically and uniformly is studied analytically and by numerical simulation. For two types of lenses necessary parameters of focused sequence of relativistic electron bunches are formulated. Verification of these parameters is performed by numerical simulation.


title: Distributive laws for relative monads

abstract: We introduce the notion of a distributive law between a relative monad and a monad. We call this a relative distributive law and define it in any 2-category $\mathcal{K}$. In order to do that, we introduce the 2-category of relative monads in a 2-category $\mathcal{K}$ with relative monad morphisms and relative monad transformations as 1- and 2-cells, respectively. We relate our definition to the 2-category of monads in $\mathcal{K}$ defined by Street. Thanks to this view we prove two Beck-type theorems regarding relative distributive laws. We also describe what does it mean to have Eilenberg-Moore and Kleisli objects in this context and give examples in the 2-category of locally small categories.


title: A system of axioms for Minkowski spacetime

abstract: We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness and a four place predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional `vector space' that can be decomposed everywhere into a spacelike hyperplane - which obeys the Euclidean axioms in [Tarski and Givant, 1999] - and an orthogonal timelike line. The length of other `vectors' are calculated according to Pythagoras' theorem. We conclude with a Representation Theorem relating models $\mathfrak{M}$ of our system $\mathcal{M}^1$ that satisfy second order continuity to the mathematical structure $\langle \mathbb{R}^{4}, \eta_{ab}\rangle$, called `Minkowski spacetime' in physics textbooks.


title: Anisotropic thermal conductivity tensor measurements using beam-offset frequency domain thermoreflectance (BO-FDTR) for materials lacking in-plane symmetry

abstract: Many materials have anisotropic thermal conductivity, with diverse applications such as transistors, thermoelectrics, and laser gain media. Yet measuring the thermal conductivity tensor of such materials remains a challenge, particularly for materials lacking in-plane symmetry (i.e., transversely anisotropic materials). This paper demonstrates thermal conductivity tensor measurements for transversely anisotropic materials, by extending beam-offset frequency-domain thermoreflectance (BO-FDTR) methods which had previously been limited to transversely isotropic materials. Extensive sensitivity analysis is used to determine an appropriate range of heating frequencies and beam offsets to extract various tensor elements. The new technique is demonstrated on a model transversely anisotropic material, x-cut quartz (<110> {\alpha}-SiO2), by combining beam offset measurements from different sample orientations to reconstruct the full in-plane thermal conductivity tensor. The technique is also validated by measurements on two transversely isotropic materials, sapphire and highly oriented pyrolytic graphite (HOPG). The anisotropic measurements demonstrated very good self-consistency in correctly identifying isotropic directions when present, with residual anisotropy errors below 4% for sapphire and 2% for HOPG and quartz. Finally, a computational case study (simulated experiment) shows how the arbitrary in-plane thermal conductivity tensor of a fictitious material with high in-plane anisotropy can in principle be obtained from only a single sample orientation, rather than multiple orientations like the experiments on x-cut quartz.


title: Global Symmetries of Quaternion-K$\bf \ddot{a}$hler ${\cal N}=4$ Supersymmetric Mechanics

abstract: We analyze the global symmetries of ${\cal N}=4$ supersymmetric mechanics involving $4n$-dimensional Quaternion-K\"ahler (QK) $1D$ sigma models on projective spaces $\mathbb{H}{\rm H}^n$ and $\mathbb{H}{\rm P}^n$ as the bosonic core. All Noether charges associated with global worldline symmetries are shown to vanish as a result of equations of motion, which implies that we deal with a severely constrained hamiltonian system. The complete hamiltonian analysis of the bosonic sector is performed.


title: Counterfactual Evaluation of Slate Recommendations with Sequential Reward Interactions

abstract: Users of music streaming, video streaming, news recommendation, and e-commerce services often engage with content in a sequential manner. Providing and evaluating good sequences of recommendations is therefore a central problem for these services. Prior reweighting-based counterfactual evaluation methods either suffer from high variance or make strong independence assumptions about rewards. We propose a new counterfactual estimator that allows for sequential interactions in the rewards with lower variance in an asymptotically unbiased manner. Our method uses graphical assumptions about the causal relationships of the slate to reweight the rewards in the logging policy in a way that approximates the expected sum of rewards under the target policy. Extensive experiments in simulation and on a live recommender system show that our approach outperforms existing methods in terms of bias and data efficiency for the sequential track recommendations problem.


title: Coupled Relational Symbolic Execution for Differential Privacy

abstract: Differential privacy is a de facto standard in data privacy with applications in the private and public sectors. Most of the techniques that achieve differential privacy are based on a judicious use of randomness. However, reasoning about randomized programs is difficult and error prone. For this reason, several techniques have been recently proposed to support designer in proving programs differentially private or in finding violations to it. In this work we propose a technique based on symbolic execution for reasoning about differential privacy. Symbolic execution is a classic technique used for testing, counterexample generation and to prove absence of bugs. Here we use symbolic execution to support these tasks specifically for differential privacy. To achieve this goal, we leverage two ideas that have been already proven useful in formal reasoning about differential privacy: relational reasoning and probabilistic coupling. Our technique integrates these two ideas and shows how such a combination can be used to both verify and find violations to differential privacy.


title: Storywrangler: A massive exploratorium for sociolinguistic, cultural, socioeconomic, and political timelines using Twitter

abstract: In real-time, social media data strongly imprints world events, popular culture, and day-to-day conversations by millions of ordinary people at a scale that is scarcely conventionalized and recorded. Vitally, and absent from many standard corpora such as books and news archives, sharing and commenting mechanisms are native to social media platforms, enabling us to quantify social amplification (i.e., popularity) of trending storylines and contemporary cultural phenomena. Here, we describe Storywrangler, a natural language processing instrument designed to carry out an ongoing, day-scale curation of over 100 billion tweets containing roughly 1 trillion 1-grams from 2008 to 2021. For each day, we break tweets into unigrams, bigrams, and trigrams spanning over 100 languages. We track n-gram usage frequencies, and generate Zipf distributions, for words, hashtags, handles, numerals, symbols, and emojis. We make the data set available through an interactive time series viewer, and as downloadable time series and daily distributions. Although Storywrangler leverages Twitter data, our method of extracting and tracking dynamic changes of n-grams can be extended to any similar social media platform. We showcase a few examples of the many possible avenues of study we aim to enable including how social amplification can be visualized through 'contagiograms'. We also present some example case studies that bridge n-gram time series with disparate data sources to explore sociotechnical dynamics of famous individuals, box office success, and social unrest.


title: Information Fusion on Belief Networks

abstract: This paper will focus on the process of 'fusing' several observations or models of uncertainty into a single resultant model. Many existing approaches to fusion use subjective quantities such as 'strengths of belief' and process these quantities with heuristic algorithms. This paper argues in favor of quantities that can be objectively measured, as opposed to the subjective 'strength of belief' values. This paper will focus on probability distributions, and more importantly, structures that denote sets of probability distributions known as 'credal sets'. The novel aspect of this paper will be a taxonomy of models of fusion that use specific types of credal sets, namely probability interval distributions and Dempster-Shafer models. An objective requirement for information fusion algorithms is provided, and is satisfied by all models of fusion presented in this paper. Dempster's rule of combination is shown to not satisfy this requirement. This paper will also assess the computational challenges involved for the proposed fusion approaches.


title: Demo: Edge-centric Telepresence Avatar Robot for Geographically Distributed Environment

abstract: Using a robotic platform for telepresence applications has gained paramount importance in this decade. Scenarios such as remote meetings, group discussions, and presentations/talks in seminars and conferences get much attention in this regard. Though there exist some robotic platforms for such telepresence applications, they lack efficacy in communication and interaction between the remote person and the avatar robot deployed in another geographic location. Also, such existing systems are often cloud-centric which adds to its network overhead woes. In this demo, we develop and test a framework that brings the best of both cloud and edge-centric systems together along with a newly designed communication protocol. Our solution adds to the improvement of the existing systems in terms of robustness and efficacy in communication for a geographically distributed environment.


title: Design space reparameterization enforces hard geometric constraints in inverse-designed nanophotonic devices

abstract: Inverse design algorithms are the basis for realizing high-performance, freeform nanophotonic devices. Current methods to enforce geometric constraints, such as practical fabrication constraints, are heuristic and not robust. In this work, we show that hard geometric constraints can be imposed on inverse-designed devices by reparameterizing the design space itself. Instead of evaluating and modifying devices in the physical device space, candidate device layouts are defined in a constraint-free latent space and mathematically transformed to the physical device space, which robustly imposes geometric constraints. Modifications to the physical devices, specified by inverse design algorithms, are made to their latent space representations using backpropagation. As a proof-of-concept demonstration, we apply reparameterization to enforce strict minimum feature size constraints in local and global topology optimizers for metagratings. We anticipate that concepts in reparameterization will provide a general and meaningful platform to incorporate physics and physical constraints in any gradient-based optimizer, including machine learning-enabled global optimizers.


title: On regularity of the Berezin transform on smooth pseudoconvex domains

abstract: In this short note we improve some of recent results of Cuckovic and Sahutoglu concerning regularity of the Berezin transform for a class of smooth pseudoconvex domains.


title: From D=3 to D=2 dimensions: a note on topological order

abstract: We construct, by a procedure involving a dimensional reduction from a Chern-Simons theory with borders, an effective theory for a 1+1 dimensional superconductor. 1That system can be either in an ordinary phase or in a topological one, depending on the value of two phases, corresponding to complex order parameters. Finally, we argue that the original theory and its dimensionally reduced one can be related to the effective action for a quantum Dirac field in a slab geometry, coupled to a gauge field.


title: Decay for the Kelvin-Voigt damped wave equation: Piecewise smooth damping

abstract: We study the energy decay rate of the Kelvin-Voigt damped wave equation with piecewise smooth damping on the multi-dimensional domain. Under suitable geometric assumptions on the support of the damping, we obtain the optimal polynomial decay rate which turns out to be different from the one-dimensional case studied in \cite{LR05}. This optimal decay rate is saturated by high energy quasi-modes localised on geometric optics rays which hit the interface along non orthogonal neither tangential directions. The proof uses semi-classical analysis of boundary value problems.


title: Reproducing fractional monomials: weakening of the Strang-Fix conditions

abstract: A method to reproduce causal and symmetric monomials of fractional degree by integer shifts of the corresponding fractional B-splines, introduced by M. Unser and Th. Blue, is presented. Thus the traditional relation between the degree of reproduced monomials and the order of approximation holds. Bivariate, obtained by tensor product, fractional B-splines are introduced; and reproducing of bivariate causal and symmetric monomials is shown. Demonstration that the method is based on a weakening of the Strang-Fix conditions is presented.


title: Multiplicities in Selmer groups and root numbers for Artin twists

abstract: Let $K/F$ be a finite Galois extension of number fields and $\sigma$ be an absolutely irreducible, self-dual representation of $\mathrm{Gal}(K/F)$. Let $p$ be an odd prime and consider two elliptic curves $E_1, E_2$ with good, ordinary reduction at primes above $p$ and equivalent mod-$p$ Galois representations. In this article, we study the variation of the parity of the multiplicities of $\sigma$ in the representation space associated to the $p^\infty$-Selmer group of $E_i$ over $K$. We also compare the root numbers for the twist of $E_i/F$ by $\sigma$ and show that the $p$-parity conjecture holds for the twist of $E_1/F$ by $\sigma$ if and only if it holds for the twist of $E_2/F$ by $\sigma$. We also express Mazur-Rubin-Nekov\'a\v{r}'s arithmetic local constants in terms of certain local Iwasawa invariants.